منابع مشابه
In Memoriam Kurt G. Hofer (1939-2015).
Kurt G. Hofer, a radiation biologist and preeminent educator, unexpectedly but peacefully passed away on September 20, 2015, at the age of 76. Kurt was born in Feldkirchen in Kärnten, a town in the Austrian state of Carinthia, on March 2, 1939. He received his doctoral degree from the University of Vienna in 1965. In 1966, Kurt, accompanied by his wife Maria (Ridy) came to the United States to ...
متن کاملVariation on a theme of Schütte
Let ≺ be a primitive recursive well-ordering on the natural numbers and assume that its order-type is greater than or equal to the prooftheoretic ordinal of the theory T. We show that the proof-theoretic strength of T is not increased if we add the negation of the statement which formalizes transfinite induction along ≺.
متن کاملMemoriam.
George W. Housner, Carl F Braun Professor of Engineering, emeritus, died after a short illness on 10 November 2008, just a few weeks before his 98th birthday. He was in the retirement home in Pasadena where he had lived for several years. For all of us who knew George, this marked the end of an era. Few people have guided and nurtured a field the way George led earthquake engineering over a per...
متن کاملReflections on Kurt Gödel
Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of Symbolic Logic
سال: 2000
ISSN: 1079-8986,1943-5894
DOI: 10.1017/s1079898600008817